51![An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18,](https://www.pdfsearch.io/img/fb2e53eaf2c873f12f0c4dc8ecdb3e7f.jpg) | Add to Reading ListSource URL: www.neven.orgLanguage: English - Date: 2012-04-18 06:07:55
|
---|
52![EECS 388 Intro to Computer Security September 9, 2016 Project 1: Cryptographic Attacks EECS 388 Intro to Computer Security September 9, 2016 Project 1: Cryptographic Attacks](https://www.pdfsearch.io/img/275b5f67aca6f38661aec713488a098b.jpg) | Add to Reading ListSource URL: www.eecs.umich.eduLanguage: English - Date: 2016-11-21 18:50:22
|
---|
53![Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract](https://www.pdfsearch.io/img/dc49513a066d549ada553cbddd9755c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-05-12 04:35:43
|
---|
54![Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT](https://www.pdfsearch.io/img/6a2b5bef41cbbbcf55457a9512ecd821.jpg) | Add to Reading ListSource URL: lucamelis.github.ioLanguage: English - Date: 2018-03-26 13:20:58
|
---|
55![ARTICLE IN PRESS Int. J. Human-Computer Studies–700 Supporting serendipitous integration in mobile computing environments ARTICLE IN PRESS Int. J. Human-Computer Studies–700 Supporting serendipitous integration in mobile computing environments](https://www.pdfsearch.io/img/49c91bc7d4216d1e50f28cc1c01ad578.jpg) | Add to Reading ListSource URL: trevor.smith.nameLanguage: English - Date: 2012-11-23 14:19:46
|
---|
56![Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr](https://www.pdfsearch.io/img/490e105bd4bdc627d5d966145072f520.jpg) | Add to Reading ListSource URL: suncontract.orgLanguage: English - Date: 2018-10-19 08:31:23
|
---|
57![An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science](https://www.pdfsearch.io/img/cfcb772109abbdc8e25e5f3a6ec8e97b.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2009-11-11 16:42:08
|
---|
58![Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue](https://www.pdfsearch.io/img/ac8fba9042abaa443b19378613882dea.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 21:04:29
|
---|
59![Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University](https://www.pdfsearch.io/img/a8f8e44454c2b590bf7f807639b11086.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
60![EECS 388 Intro to Computer Security November 11, 2016 Homework 5: Exam Review EECS 388 Intro to Computer Security November 11, 2016 Homework 5: Exam Review](https://www.pdfsearch.io/img/828cec604c8e03676230c65437946aad.jpg) | Add to Reading ListSource URL: www.eecs.umich.eduLanguage: English - Date: 2016-11-21 18:50:22
|
---|